program correctness proof
[计] 程序正确性证明
热门查询
- isoform n. 同种型；同等型
- meteorologist n. 气象学者
- Mecklenburg 梅克伦堡州[德意志民主共和国州名](濒波罗的海)
- brokenness 破碎（broken的名词形式）
- prophylactically adv. 预防地；预防上
- lecherous adj. 好色的；淫荡的；引起淫欲的
- giggling 咯咯地笑（giggle的现在分词）
- entrails n. 内脏；肠；（物体的）内部
- photodetector n. [电子] 光电探测器
- canteen n. 食堂，小卖部；水壶
- misspend vt. 浪费；滥用（时间、金钱等）
- roast n. 烤肉；烘烤 adj. 烘烤的；烤过的 vt. 烤，焙；烘，烘烤；暴露于某种热力下以得温暖 vi. 烤；烘
- macroeconomist macroeconomist [,mækrəui'kɔnəmist] n. 宏观经济学家 以上来源于：《21世纪大英汉词典》
- delegate n. 代表 vt. 委派…为代表
- practical adj. 实际的；实用性的
- trailer n. 拖车；[电视] 预告片；追踪者 vt. 用拖车载运 vi. 乘拖车式活动房屋旅行
- bulldozing n. 推土；糊炮爆破
- allegedly adv. 依其申述；据说，据称
- Christ n. 基督；救世主 int. 天啊！
- sty n. 猪圈；妓院 vt. 关入猪栏 vi. 住在猪圈里
考试词汇表
- maximum take-off power
- maximum tensile stress
- maximum tension stress
- maximum thermal output
- maximum thickness line
- maximum tolerable dose
- maximum tolerance dose
- maximum tolerated dose
- maximum tooth gap form
- maximum total pressure
- maximum total traverse
- maximum tracking error
- maximum traction truck
- maximum tractive force
- maximum turning height
- maximum turning length
- maximum urea clearance
- maximum vapor pressure
- maximum vapour tension
- maximum vector problem
